north korea send troops to russia